python explicit type